-
1 узкое исчисление предикатов
Mathematics: RPC (restricted predicate calculus), restricted predicate calculusУниверсальный русско-английский словарь > узкое исчисление предикатов
-
2 узкое исчисление предикатов
Русско-английский биологический словарь > узкое исчисление предикатов
-
3 узкое исчисление предикатов
Русско-английский словарь по вычислительной технике и программированию > узкое исчисление предикатов
-
4 узкое исчисление предикатов
Русско-английский научно-технический словарь Масловского > узкое исчисление предикатов
-
5 узкое исчисление предикатов
abbrev. УИПРусско-английский словарь по математике > узкое исчисление предикатов
-
6 исчисление предикатов
1. functional calculus2. predicate calculus3. predicative calculusРусско-английский большой базовый словарь > исчисление предикатов
-
7 исчисление предикатов
-
8 исчисление предикатов
Русско-английский военно-политический словарь > исчисление предикатов
-
9 исчисление предикатов
Русско-английский словарь по информационным технологиям > исчисление предикатов
-
10 исчисление
1) calculus
2) computation
– вариационное исчисление
– векторное исчисление
– дифференциальное исчисление
– интегральное исчисление
– исчисление вероятностей
– исчисление высказываний
– исчисление задач
– исчисление предикатов
– логическое исчисление
– матричное исчисление
– операционное исчисление
– разностное исчисление
– расширенное исчисление
– спинорное исчисление
– тензорное исчисление
– функциональное исчисление
исчисление бесконечно малых — infinitesimal calculus
исчисление одноместных предикатов — one-place predicate calculus
узкое исчисление предикатов — restricted predicate calculus
функциональное исчисление или исчисление предикатов — functional calculus
функциональное исчисление или исчисление предикатов — functional calculus
-
11 исчисление
* * *n. calculus, computation;
исчисление высказываний - propositional calculus;
исчисление предикатов - predicate calculus;
исчисление одноместных предикатов - one-place predicate calculus;
исчисление задач - problem calculus;
чистое исчисление предикатов - pure predicate calculus;
узкое исчисление предикатов - restricted predicate calculus -
12 исчисление
n.calculus, computation -
13 исчисление
-
14 дифференциальное исчисление
1. calculus2. differential calculusРусско-английский большой базовый словарь > дифференциальное исчисление
-
15 индескное исчисление
Русско-английский большой базовый словарь > индескное исчисление
-
16 функциональное исчисление
Русско-английский большой базовый словарь > функциональное исчисление
-
17 векторное исчисление
-
18 функциональное исчисление
Русско-английский научный словарь > функциональное исчисление
-
19 интегральное исчисление
Русско-английский новый политехнический словарь > интегральное исчисление
-
20 операционное исчисление
Русско-английский военно-политический словарь > операционное исчисление
- 1
- 2
См. также в других словарях:
УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Предикатов исчисление … Математическая энциклопедия
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
Парадокс — (от греч. parádoxes неожиданный, странный) неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по данному вопросу. В этом смысле эпитет «парадоксальный» … Большая советская энциклопедия
Формализация — представление какой либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы (См. Формальная система), или исчисления (См. Исчисление). Ф., осуществляемая … Большая советская энциклопедия
Номинализм — (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому имена свойств, классов и отношений не являются собственными именами, т.е. именами отдельных единичных «сущностей» реальных или идеальных, а … Большая советская энциклопедия
НОМИНАЛИЗМ — (от лат. nomen имя, название) филос. учение, отрицающее онтологическое значение универсалий (общих понятий), т.е. утверждающее, что универсалии существуют не в действительности, а только в мышлении. В Средние века Н. был одним из течений… … Философская энциклопедия
Номинализм — (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому названия таких понятий, как «животное», «эмоция» это не собственные имена цельных сущностей, а общие имена… … Википедия
Номиналисты — Номинализм (лат. nominalis относящийся к именам, именной, от nomen имя) философское учение, согласно которому имена свойств, классов и отношений не являются собственными именами, то есть именами отдельных единичных «сущностей» реальных или… … Википедия
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия